<?php
@session_start();
if(isset($_GET['id'])){
    unset($_SESSION['pro'][$_GET['id']]);
    header("location:cart.php");
}
else{
    header("location:cart.php");
}

?>